Knihy od autora Carroll Morgan

Zobrazené 1 – 9 z 9 výsledkov

1. 

   Formal Methods: Foundations and Applications

   Adenilso Simao, Carroll Morgan | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Skladom u dodávateľa - Odosielame za 10 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   63.43 €

   Kúpiť
2. 

   Formal Methods, Informally

   Carroll Morgan | Cambridge University Press, 2026

   
   

   Skladom u dodávateľa - Odosielame za 9 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   53.41 €

   Kúpiť
3. 

   Programming Methodology

   Annabelle Mclver, Carroll Morgan | Springer, Berlin, 2010

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   110.78 €

   Zľava 9 %

   Ušetríte 11.96 €

   Kúpiť
4. 

   On the Refinement Calculus

   Carroll Morgan, Trevor Vickers | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
5. 
   Novinka

   Formal Methods, Informally

   Carroll Morgan | Cambridge University Press, 2026

   
   

   Skladom u dodávateľa - Odosielame za 9 - 15 dní

   Jazyk: Angličtina

   Väzba: Pevná

   115.74 €

   Kúpiť
6. 

   Science of Quantitative Information Flow

   Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey S. Smith | Springer International Publishing AG, 2019

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   60.60 €

   Zľava 9 %

   Ušetríte 6.50 €

   Kúpiť
7. 

   When God Speaks, Obey!

   Carroll Morgan | ARPress, 2024

   
   

   Skladom u dodávateľa - Odosielame za 9 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   10.31 €

   Zľava 2 %

   Ušetríte 0.23 €

   Kúpiť
8. 

   Programming Methodology

   Annabelle McIver, Carroll Morgan | Springer, Berlin, 2003

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   100.76 €

   Zľava 9 %

   Ušetríte 10.85 €

   Kúpiť
9. 

   Abstraction, Refinement and Proof for Probabilistic Systems

   Annabelle McIver, Carroll Morgan | Springer-Verlag New York Inc., 2004

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 18 dní

   Jazyk: Angličtina

   Väzba: Pevná

   167.84 €

   Kúpiť

Výber z miliónov titulov vám len tak niekto neponúkne. Zistite viac